3條測地線構成的球面三角形。在球面上,測地線是大圓。
測地線(英語:Geodesic)又稱大地線或短程線,數學上可視作直線在彎曲空間中的推廣;在有度規定義存在之時,測地線可以定義為空間中兩點的局域最短路徑。測地線(英語:geodesic)的名字來自對於地球尺寸與形狀的大地測量學(英語:geodesy)。
三維空間中的曲面[編輯]
在大地線上,各點的主曲率方向均與該點上曲面法線相合。它在圓球面上為大圓弧,在平面上就是直線。在大地測量中,通常用大地線來代替法截線,作為研究和計算橢球面上各種問題。測地線是在一個曲面上,每一點處測地曲率均為零的曲線。
相關定理及推論[編輯]
曲面上非直線的曲線是測地線的充分必要條件是除了曲率為零的點以外,曲線的主法線重合於曲面的法線。
如果兩曲面沿一曲線相切,並且此曲線是其中一個曲面的測地線,那麼它也是另一個曲面的測地線。
過曲面上任一點,給定一個曲面的切方向,則存在唯一一條測地線切於此方向。
在適當的小範圍內聯結任意兩點的測地線是最短線,所以測地線又稱為短程線。
微分幾何的測地線[編輯]
在一個黎曼流形
上,一條曲線
若符合常微分方程
![{\displaystyle \nabla _{\dot {\gamma }}{\dot {\gamma }}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/998d786a63d948705e7212f53917b10213171b02)
就稱之為測地線。其中
是
上的列維-奇維塔聯絡。方程左邊為曲線在流形上的加速度向量,所以方程是說測地線是在流形上加速度為零的曲線,也因此測地線必定是等速曲線。
以上方程用局部座標表示為
![{\displaystyle {\frac {d^{2}\gamma ^{\lambda }}{dt^{2}}}+\Gamma _{\mu \nu }^{\lambda }{\frac {d\gamma ^{\mu }}{dt}}{\frac {d\gamma ^{\nu }}{dt}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0613a5ad092f9eccc03363f354beccda4bdbc0ef)
其中
是
的黎曼度量的克里斯托費爾符號。
唯一性及存在性[編輯]
給定流形上一點
及點上一個非零的切向量
,因測地線方程是二階常微分方程,柯西-利普希茨定理指出存在區間
,使得方程在此區間上存在唯一解
![{\displaystyle \gamma :(-\epsilon ,\epsilon )\to M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0617499243c33042eb5ee650c9c308bedfc0dfc)
滿足初值條件
,
。但因為方程是非線性的,故未必在實數域
上存在解。
從上述方程解的唯一性,可知若兩條測地線經過同一點,且在此點上有相同的切向量,則這兩條測地線是同一條測地線中的兩部份。
設
是一條測地線,
。如果對起點
及起點的切向量
改變得足夠細微,則存在新的測地線符合新的初值條件,且仍然定義在
上。這個結果用嚴格語言敘述為:
- 給定測地線
。在切叢
中存在
的一個鄰域
,使得對任何
,都存在測地線
滿足初值條件
。
從這結果可以得出,如果
是定義在有界開區間
上的測地線,對它的起點和此點上的切向量改變得足夠細微的話,則存在一條新的測地線滿足新的初值條件,並且定義在接近整條
上。[1]
如果對於任意初始條件
,
都存在一條定義在整條實數線上的測地線
,則稱
是測地完備的。霍普夫-里諾定理指出,若
是一個完備的度量空間,則
是測地完備的。(
上兩點間的度量,是連接此兩點的所有曲線的長度的最大下界。)
局部最短性[編輯]
在黎曼流形
上連接兩點之間的等速曲線,若其長度等於兩點間的距離,即這曲線是兩點間最短的曲線,那麼這曲線必定是測地線。然而,連接兩點間的測地線未必最短。比如在單位球面上,一條長度大於
的測地線,不是連接這條線的兩端點間的最短曲線。因為球面上的測地線都是大圓的弧,若測地線長度大於
,那麼測地線所在大圓上的另一條弧,其長度會小於
,是連接這兩點的最短測地線。
連接兩點間最短測地線,也未必唯一。比如單位球面上兩個對徑點(即球面和一條直徑的兩個交點)之間,有無數條最短測地線相連。然而,流形上任何一點都存在一個鄰域,使得該點和鄰域上其他點之間,都有唯一的最短測地線相連(不計測地線的速度)。因此流形上任何測地線都是局部最短的。
對流形上一點
,一條從
出發的單位速的測地線
,考慮所有的
使得
,即是說
是一條最短測地線。這集合可以是
或
。若是前者,稱
是
沿著
的割點,那麼對所有
,
是從
點到
的唯一最短測地線;若是後者,則對所有
,
都是
點到
的唯一最短測地線。
沿著全部從
出發的測地線的割點組成的集合,稱為
的割跡
。
度量幾何的測地線[編輯]
一般的度量空間
中,測地線
是從區間
的映射,使得對任何
,都存在區間
,使得
包含
在
中一個開鄰域,並且對任何
有
![{\displaystyle d(\gamma (t_{1}),\gamma (t_{2}))=\left|t_{1}-t_{2}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6fb30c6e9032a664284ebd9b277cd18baba04bd)
換言之,
是連接其上任何兩點的一條最短路線。[2]
如果一個度量空間任何兩點都有測地線相連,稱為測地度量空間。
度量空間上的測地線的性質,和微分幾何有些不同:
兩條測地線即使有部分線段重合,卻未必屬於同一條測地線。例如在
上定義度量(曼哈頓距離)
![{\displaystyle d((x_{1},y_{1}),(x_{2},y_{2}))=\left|x_{1}-x_{2}\right|+\left|y_{1}-y_{2}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05f064f17f15819f3579bb5a845aaa88913acdf2)
設
是從(0,0)到(1,0)再到(1,1)的兩條線段所組成,而
是從(0,0)到(2,0)的線段。這兩條都是測地線,且在(0,0)到(1,0)一段重合,但明顯不屬同一條測地線,因為這兩條線過了點(1,0)之後就分開。
一個測地度量空間中,在一點上未必存在一個鄰域,使得該點其鄰域其他點都有唯一的測地線。在上例的度量空間中,兩點間如果兩個座標都不同,則有無限多條測地線連接兩點。例如從(0,0)到(2,1),以下都是連接這兩點的最短測地線:任取一數
,
![{\displaystyle \gamma _{t_{0}}(t)={\begin{cases}(t,0)&t\leq t_{0}\\(t_{0},t-t_{0})&t_{0}\leq t\leq t_{0}+1\\(t-1,1)&t_{0}+1\leq t\leq 3\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e4a4e02a215da8b83ed319f260de1287c1600db)
就是先向右走到
,再向上走到
,再向右走到(2,1)。在任何一點的任何鄰域中,和該點兩個座標都不同的點有無數個,所以從該點到這些點之間,最短測地線都不是唯一。
- ^ Petersen, Peter (2006), Riemannian geometry, Graduate Texts in Mathematics, 171 (2nd ed.), Berlin, New York.
- ^ Burago, Dmitri; Yuri Burago, and Sergei Ivanov (2001), A Course in Metric Geometry, American Mathematical Society.